Incorporating Formal Techniques into Industrial Practice: an Experience Report
نویسندگان
چکیده
We report about experiences at Philips Healthcare with component-based development supported by formal techniques. The formal Analytical Software Design (ASD) approach of the company Verum has been incorporated into the industrial workflow. The commercial tool ASD:Suite supports both compositional verification and code generation for control components. For other components test-driven development has been used. We discuss the results of these combined techniques in a project which developed the power control service of an interventional X-ray system.
منابع مشابه
Incorporating Formal Techniques into Industrial Practice
We report about experiences with component-based development supported by formal techniques at Philips Healthcare. The formal Analytical Software Design (ASD) approach of the company Verum has been incorporated into the industrial workflow. The commercial tool ASD:Suite supports both compositional verification and code generation for control components. For other components test-driven developm...
متن کاملIncorporating a Formal Design Technique into an Industrial Environment: An Experience Report
Formal Specification Techniques (FSTs) are mathematically-based techniques that can be used by system designers to specify the desired behavior of a computer-based system and its structural properties. It has been hypothesized that the use of FSTs in software design has two primary advantages: (1) the act of formalizing design concepts provides the designer with insights that can lead to a deep...
متن کاملSpecification-Driven Design with Eiffel and Agents for Teaching Lightweight Formal Methods
We report on our experiences in teaching lightweight formal methods with Eiffel. In particular, we discuss how we introduce formal methods via Eiffel’s design-by-contract and agent technologies, and how we integrate these techniques with test-driven development, in an approach called specification-driven design. This approach demonstrates how formal methods techniques fit with industrial softwa...
متن کاملFormal Verification of an Avionics Microprocessor
Formal specification combined with mechanical verification is a promising approach for achieving the extremely high levels of assurance required of safety-critical digital systems. However, many questions remain regarding their use in practice: Can these techniques scale up to industrial systems, where are they likely to be useful, and how should industry go about incorporating them into practi...
متن کاملFormal Veri cation of an Avionics Microprocessor
Formal speci cation combined with mechanical veri cation is a promising approach for achieving the extremely high levels of assurance required of safety-critical digital systems. However, many questions remain regarding their use in practice: Can these techniques scale up to industrial systems, where are they likely to be useful, and how should industry go about incorporating them into practice...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Electr. Notes Theor. Comput. Sci.
دوره 295 شماره
صفحات -
تاریخ انتشار 2013